Förändringsprocesser i staden

Freefinement Stephan van Staden ETH Zurich

Freefinement is an algorithm that constructs a sound refinement calculus from a verification system under certain conditions. In this paper, a verification system is any formal system for establishing whether an inductively defined term, typically a program, satisfies a specification. Examples of verification systems include Hoare logics and type systems. Freefinement first extends the term lan...

The first record on Brazilian stingless bees published 450 years ago by Hans Staden.

Only a few decades after 1492, when Christopher Columbus arrived on a Caribbean island and Pedro Alvares Cabral claimed Brazil for Portugal in 1500, a German mercenary gave the first description of stingless bees in 1557. He got to know them when he was imprisoned for months by an anthropophagous tribe in the coastal region of Santos, today in the State of São Paulo. This rather short but never...

I I I - I I - I I I I I . I I I I I I I I _ I Robust Sequential Confidence Intervals for the Behrens - Fisher Problem

I-homomorphism for BL-I-General L-fuzzy Automata

Taking into account the notion of BL-general fuzzy automaton, in the present study we define the notation of BL-intuitionistic general L-fuzzy automaton and I-bisimulation for BL-intuitionistic general L-fuzzy automaton.Then for a given BL-intuitionistic general L-fuzzy automaton, we obtain the greatest I-bisimulation. According to this notion, we give the structure of quotient BL-intuiti...

2-absorbing $I$-prime and 2-absorbing $I$-second submodules

Let $R$ be a commutative ring and let $I$ be an ideal of $R$. In this paper, we will introduce the notions of 2-absorbing $I$-prime and 2-absorbing $I$-second submodules of an $R$-module $M$ as a generalization of 2-absorbing and strongly 2-absorbing second submodules of $M$ and explore some basic properties of these classes of modules.